
@inproceedings{MR07,
 author    = {P. M\"uller and A. Rudich},
 title     = {Ownership Transfer in {U}niverse {T}ypes},
 booktitle = oopsla,
 year      = {2007}
}
 


@inproceedings{DDM07,
  author    = {W. Dietl and S. Drossopoulou and P. M{\"u}ller},
  title     = {{G}eneric {U}niverse {T}ypes},
  booktitle = ecoop,
  year      = {2007}
}

@inproceedings{Boy03,
  author =      {John Boyland},
  title =       {Checking Interference with Fractional Permissions},
  booktitle =   "Static Analysis: 10th International Symposium",
  year =        2003,
}

@article{BCC05,
   author = {Lilian Burdy and Yoonsik Cheon and David Cok and Michael D.
	Ernst and Joe Kiniry and Gary T. Leavens and K. Rustan M. Leino
	and Erik Poll},
   title = {An overview of {JML} tools and applications},
   journal = {Software Tools for Technology Transfer},
   volume = {7},
   number = {3},
   pages = {212--232},
   month = jun,
   year = {2005}
}

@Article{WC07,
  author = 	 {Tobias Wrigstad and Dave Clarke},
  title = 	 {Existential Owners for Ownership Types},
  journal = 	 {Journal of Object Technology},
  year = 	 {2007},
  volume = 	 {6},
  number = 	 {4},
  pages = 	 {141--159},
  month = 	 {May--June},
  note = 	 {Available from \url{http://www.jot.fm/issues/issue_2007_03/article5}}
}

@InProceedings{HPSS07, 
   title = { Immutable Objects for a {Java}-like Language }, 
   author = { Christian Haack and Erik Poll and Jan Sch{\"a}fer and Aleksy Schubert },  
   booktitle = {ESOP},  
   year = 2007
} 

@techreport{ZPAKE07,
   author = {Yoav Zibin and Alex Potanin and Shay Artzi and Adam
	Kie{\.z}un and Michael D. Ernst},
   title = {Object and reference immutability using {Java} generics},
   institution = {MITCSAIL},
   number = {MIT-CSAIL-TR-2007-018},
   year = {2007}
}

@inproceedings{TE05,
   author = {Matthew S. Tschantz and Michael D. Ernst},
   title = {{J}avari: Adding reference immutability to {Java}},
   booktitle = oopsla,
   year = {2005}
}

@inproceedings{BE04,
   author = {Adrian Birka and Michael D. Ernst},
   title = {A practical type system and language for reference immutability},
   booktitle = {Object-Oriented Programming Systems, Languages, and
	Applications (OOPSLA 2004)},
   pages = {35--49},
   address = {Vancouver, BC, Canada},
   month = {October~26--28,},
   year = {2004}
}

@unpublished{tribeOld,
 author    = {David Clarke and Sophia Drossopoulou and
              James Noble and Tobias Wrigstad},
 title     = {Tribe: More Types for Virtual Classes},
 year      = {2005},
 month     = {December},
 note = {available from \texttt{http://slurp.doc.ic.ac.uk/pubs.html\#tribe}}
}

@phdthesis{clad-thesis,
    Author = {David Clarke},
    School = {School of Computer Science and Engineering,
                  University of New South Wales, Sydney, Australia},
    Title = {Object Ownership and Containment},
    Year = 2001}

@Misc{completeness,
  title        = {Completeness of subtype judgments},
  author       = {Types Forum},
  note         = {http://lists.seas.upenn.edu/pipermail/types-list},
  howpublished = {Discussions April 25 and onwards},
  year         = {2006}
}

@Misc{kitt,
  title =    {KITT},
  key =      {Kitt},
  howpublished = {Wikipedia Article},
  note =     {\texttt{http://en.wikipedia.org/wiki/KITT}}
}

@book{Str97,
    Author = {Bjarne Stroustroup},
    Edition = {3rd},
    Publisher = {Addison-Wesley},
    Title = {The C++ Programming Language},
    Year = {1997}
}

@techreport{DF03,
    Author = {Robert DeLine and Manuel F{\"a}hndrich},
    Institution = {Microsoft Research},
    Number = {MSR-TR-2004-07},
    Title = {The {F}ugue protocol checker: Is your software Baroque?},
    Year = {2003}
}

@inproceedings{FL03,
 author = {Manuel F{\"a}hndrich and K. Rustan M. Leino},
 title = {Declaring and checking non-null types in an object-oriented language},
 booktitle = {OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications},
 year = {2003},
 location = {California, USA}
 }

@Book{jls,
  author =   {James Gosling and Bill Joy and Guy Steele and Gilad Bracha },
  title =    {{J}ava Language Specification},
  publisher =    {Addison-Wesley Professional},
  year =     {2005},
  edition =      {3rd}
}

@inproceedings{MS00,
 author = {Jan-Willem Maessen and Xiaowei Shen},
 title = {Improving the {J}ava memory model using {CRF}},
 booktitle = {OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
 year = {2000},
 location = {Minnesota, United States},
 }

@Misc{hofmann:dependenttypes,
  author =   {David Aspinall and Martin Hofmann},
  title =    {Dependent Types},
  howpublished = {Chapter in \cite{attapl}}
}

@Book{attapl,
  editor =   {Benjamin Pierce},
  title =    {Advanced Topics in Types and Programming Languages},
  publisher =    {MIT Press},
  year =     {2004}
}

@Book{beta,
  author =   {Ole Lehrmann Madsen and Birger
                  M{\o}ller-Pedersen and Kristen Nygaard},
  title =    {Object-Oriented Programming in the BETA
                  Programming Language},
  publisher =    {Addison-Wesley},
  year =     {1993},
  address =      {Reading, MA, USA}
}

@inproceedings{LMMP89,
  author =   {Ole Lehrmann Madsen and Birger M{\o}ller-Pedersen},
  title =    {Virtual Classes---A Powerful Mechanism in Object-Oriented Programming},
 booktitle = {OOPSLA '89: Proceedings of the 4th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
  year =     {1989},
}

@PhdThesis{gbeta,
  author =   {Erik Ernst},
  title =    {gBeta---A Language with Virtual Attributes,
                  Block Structure, and Propagating, Dynamic
                  Inheritiance},
  school =   {University of Aarhus},
  year =     {1999},
  address =      {Denmark}
}

@InProceedings{dotfj,
  author =   {Atsushi Igarashi and Chieri Saito and Mirko Viroli},
  title =    {Lightweight Family Polymorphism},
  booktitle =    {Proceedings of the 3rd Asian Symposium on
                  Programming Languages and Systems (APLAS'05)},
  year =     {2005},
  volume =   {3780},
  series =   {LNCS},
  address =      {Tsukuba, Japan}
}

@InProceedings{MO02,
  author =   {Mira Mezini and Klaus Ostermann},
  title =    {Integrating independent components with on-demand remodularization},
  booktitle =    {Proceedings of Objects, Programming Langages,
                  Systems and Applications (OOPSLA)},
  year =     {2002},
  month =    {October}
}


@inproceedings{CGLO06,
  author    = {Vincent Cremet and
               Fran\c{c}ois Garillot and
               Sergue\"{\i} Lenglet and
               Martin Odersky},
  title     = {A Core Calculus for {S}cala Type Checking.},
  pages     = {1-23},
  editor    = {Rastislav Kralovic and
               Pawel Urzyczyn},
  booktitle  = {Mathematical Foundations of Computer Science  2006, 31st
               International Symposium, MFCS 2006, Star{\'a} Lesn{\'a},
               Slovakia, August 28-September 1, 2006, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4162},
  year      = {2006}
}



@article{AGMO06,
  author =   {Ivica Aracic and Vaidas Gasiunas and Mira Mezini and Klaus Ostermann},
  title =    {An Overview of {C}aesar{J}},
  journal =      {Transactions on Aspect-Oriented Software Development, LNCS},
  volume =       {3880},
  pages =        {135--173},
  year =     {2006},
  month =    {February}
}

@InProceedings{jx,
  author =   {Nathaniel Nystrom and Sephen Chong and Andrew C. Myers},
  title =    {Scalable Extensibility via Nested Inheritance},
  booktitle =    {Proceedings of Objects, Programming Langages,
                  Systems and Applications (OOPSLA)},
  year =     {2004},
  address =      {Vancouver, Canada},
  month =    {October}
}

@Comment   author =       {Martin Odersky and Philippe Altherr and Vincent
@Comment                   Cremet and Burak Emir and Sebastian Maneth and
@Comment                   St{\'e}phane Micheloud and Nikolay Mihaylov and
@Comment                   Michel Schinz and Erik Stenman and Matthias
@Comment                   Zenger},
@TechReport{scala,
  author =       {Martin Odersky {et\,al.}},
  title =        {An Overview of the {S}cala Programming Language},
  institution =  {EPFL Lausanne, Switzerland},
  year =         {2004},
  number =       {IC/2004/64}
}

@InProceedings{concord,
  author =   {Paul Jolly and Sophia Drossopoulou and
                  Christopher Anderson and Klaus Ostermann},
  title =    {Simple Dependent Types: Concord},
  booktitle =    {6th ECOOP Workshop on Formal Techniques for
                  {J}ava-like Languages},
  year =     {2004},
  month =    {June}
}

@InProceedings{Ern03,
  author =   {Erik Ernst},
  title =    {Higher-Order Hierarchies},
  booktitle =    {ECOOP 2003 -- Object-Oriented Programming: 17th European Conference},
  pages =    {303--328},
  editor =       {Luca Cardelli},
  month =        {July},
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes In Computer Science},
  volume =       {2473},
  year =         {2003}
}

@InProceedings{caesar,
  author =   {Mira Mezini and Klaus Ostermann},
  title =    {Conquering Aspects with {C}aesar},
  booktitle =    {Proceedings of the 2nd International Conference
                  on Aspect-Oriented Software Development (AOSD)},
  pages =    {90--100},
  year =     {2003},
  editor =   {Mehmet Aksit},
  address =      {Boston, USA},
  month =    {March}
}

@InProceedings{EOC06,
  author =   {Erik Ernst and Klaus Ostermann and William R. Cook},
  title =    {A Virtual Class Calculus},
  booktitle =    {Proceedings of Principles of Programming Languages (POPL)},
  year =     {2006},
  address =      {Charleston, South Carolina, USA},
  month =    {January}
}

@article{WF94,
  author =       {Andrew K. Wright and Matthias Felleisen},
  journal =      {Information and Computation},
  number =       {1},
  pages =        {38--94},
  title =        {A syntactic approach to type soundness},
  volume =       {115},
  year =         {1994}
}

@InProceedings{Ern01,
 author =        {Erik Ernst},
 title =         {Family Polymorphism},
 booktitle =     {Proceedings of the 15th European Conference on
                  Object-Oriented Programming},
 year =          {2001},
 isbn =          {3-540-42206-4},
 publisher =     {Springer-Verlag},
 address =       {London, UK}
}

@inproceedings{OCRZ03,
  author    = {Martin Odersky and
               Vincent Cremet and
               Christine R{\"o}ckl and
               Matthias Zenger},
  title     = {A Nominal Theory of Objects with Dependent Types.},
  pages     = {201-224},
  editor    = {Luca Cardelli},
  booktitle     = {ECOOP 2003 - Object-Oriented Programming, 17th European
               Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2743},
  year      = {2003}
}



@PhdThesis{bracha-thesis,
  author =   {Gilad Bracha},
  title =    {The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance},
  school =   {University of Utah},
  year =     {1992}
}

@article{simula,
  author =       {Ole-Johan Dahl and Kristen Nygaard},
  title =        {SIMULA: an ALGOL-based simulation language},
  journal =      {Communications of the ACM},
  volume =       {9},
  number =       {9},
  year =         {1966},
  issn =         {0001-0782},
  pages =        {671--678},
  publisher =    {ACM Press},
  address =      {New York, NY, USA}
}

@InProceedings{SDNP03,
  author =   {Nathanael Sch{\"a}rli and St{\'e}phane Ducasse
                  and Oscar Nierstrasz and Andrew P. Black},
  title =    {Traits: Composable Units of Behaviour},
  booktitle =    {ECOOP 2003 -- Object-Oriented Programming: 17th
                  European Conference},
  pages =    {248--274},
  editor =       {Luca Cardelli},
  month =        {July},
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes In Computer Science},
  volume =       {2473},
  year =         {2003}
}

@PhdThesis{wrigstad-thesis,
  author =   {Tobias Wrigstad},
  title =    {Ownership-Based Alias Management},
  school =   {Royal Institute of Technology},
  year =     {2006},
  address =      {Kista, Stockholm},
  month =    {May},
  note =     {}
}

@InProceedings{Ost02,
  author =   {Klaus Ostermann},
  title =    {Dynamically Composable Collaborations with Delegation Layers},
  booktitle =    {Proceedings of the 16th European Conference on
                  Object-Oriented Programming (ECOOP)},
  year =     {2002},
  address =      {Malaga, Spain}
}

@inproceedings{CW03b,
  author =       {David Clarke and Tobias Wrigstad},
  booktitle =    ecoop,
  title =        {External\,Uniqueness\,is\,Unique\,Enough},
  year = {2003}
}

@Misc{clad-fool-talk,
  author =   {David Clarke},
  title =    {Nested Classes, Nested Objects, and Ownership},
  howpublished = {Invited talk at FOOL/WOOD},
  month =    {January},
  year =     2006
}

@article(Boy06,
  title = {Why we should not add readonly to {Java} (yet)},
  author =      {John Boyland},
  journal = "Journal of Object Technology",
  note = "Special issue: ECOOP 2005 Workshop FTfJP",
  year = 2006)

@InProceedings{bierhoff_aldrich07,
  author = 	 {Kevin Bierhoff and Jonathan Aldrich},
  title = 	 {Modular Typestate Checking of Aliased Objects},
  booktitle =    {OOPSLA},
  year = 	 {2007}
}

